package sketch.main;

import sketch.ounit.Values;
import sketch.specs.annotation.TestSketch;
import junit.framework.TestCase;

public class MixTransformationWithValuesExample extends TestCase {
	
	@TestSketch
	public void testAllTransformation() {
		treemap.TreeMap map = new treemap.TreeMap();
		map.put(22);
		{/*@ChooseOne*/
			map.put(2);
			map.put(32);
		}
		Values.randomMutate(map, treemap.TreeMap.class, 109, 2, 1);
		map.remove(Values.symbolicInt());
	}
	
}